failure 416:
Requirement failed: {logbf.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 1951 |
| occurence |
| scenario |
util_float_scenario |
| specification function |
logb_spec() |
| parameter value |
CallContext context = [pid=17999,thr=b752d6c0] |
| parameter value |
Unifloat * @x = (float) 0.0000000000000000e+00 (0x.00000000P1F) |
| parameter value |
Unifloat * x = (float) 0.0000000000000000e+00 (0x.00000000P1F) |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (float) -Infinity |
coverage
& branch |
C
The argument is zero |
| properties |
| REQ failed |
logbf.08.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The logb() function shall compute the exponent of the integral part of logarithm
of its argument as a signed floating-point value.
According to LSB, if this argument is 0, ERANGE error shall be set in errno.
But on the target machine this function sets error code EOK instead of ERANGE.
|
|